let EdgeStyle = {
 style: {
  stroke: '#000', // 边的颜色  
  strokeWidth: 2, // 边的宽度  
 },
 // 其他属性...  
}

export const operationToResult = {
 id: 'operation-to-result',
 sourceNodeId: 'operation',
 targetNodeId: 'result',
 properties: EdgeStyle
};

export const startToNum1 = {
 id: 'start-to-num1',
 sourceNodeId: 'start',
 targetNodeId: 'num1',
 properties: EdgeStyle
};

export const startToNum2 = {
 id: 'start-to-num2',
 sourceNodeId: 'start',
 targetNodeId: 'num2',
 properties: EdgeStyle
};


export const num1ToOperation = {
 id: 'num2-to-operation',
 sourceNodeId: 'num1',
 targetNodeId: 'operation',
 properties: EdgeStyle
};

export const num2ToOperation = {
 id: 'num2-to-operation',
 sourceNodeId: 'num2',
 targetNodeId: 'operation',
 properties: EdgeStyle
};
export const resultToapi = {
    id: 'result-to-api',
    sourceNodeId: 'result',
    targetNodeId: 'api',
    properties: EdgeStyle
   };